$\forall$${\it es}$:ES, $e$:E. ($e$ $<$ $e$) $\Rightarrow$ False